<?hh

var_dump(@@@@!!@ & @&-+@!@@@~~@@ 42 + 1);
